ARC: A Specification Language for Communicating Systems
نویسنده
چکیده
This paper presents a new specification language called ARC. The language ARC is designed for specifying systems where communication plays a pivotal role. ARC takes simple message sequence charts as a starting point and extends them to allow the precise specification of complex communication behaviour. ARC includes the language COLD-K for specifying data and operations on data. The goal in designing the ARC language was to retain the intuitive nature of simple sequence charts while allowing more complex behaviour to be described.
منابع مشابه
SGCCS: A Graphical Language for Real-Time Systems
We present a graphical language SGCCS as a language for modeling of discrete real-time systems. SGCCS can be viewed as a graphical version of the synchronous Calculus of Communicating Systems (SCCS). A specification in SGCCS contains both graphical and visual components. We give an overview of basic concepts of SGCCS giving an example of specification in SGCCS. Further, we show briefly how the ...
متن کاملSoftware Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs
Object-Z and CSP are high level specification languages which offer powerful formal support for the design of distributed, communicating systems. Java is an ideal implementation language for such systems. But developing provably correct Java implementations from these specifications is notoriously difficult. To bridge this gap we suggest to use Jass, which extends Java with assertions, as an in...
متن کاملHierarchical Communicating Real-Time State Machines
This paper proposes a methodology for the development of distributed real-time (RT) systems using the Communicating Real-Time State Machines (CRSMs) formal specification language. The methodology is novel in that it addresses complex systems by extending CRSMs with concepts borrowed from Statecharts, and favours timing predictability through a holistic integration of an RT system and its operat...
متن کاملDLOTOS: A LOTOS Extension for Clock Synchronization in Distributed Systems
Distributed Asynchronous systems are a collection of sequential processes communicating over mostly unreliable communication channels. Asynchronous Distributed Systems have the following properties: There exists no bounds on the relative speeds of processes, neither are there any bounds on message delays. Such systems rule out the possibility of processes accessing synchronized local clocks; i....
متن کاملVerification of Integrated Specifications using PVS
Properties verification is one of the main topics of interest in formal methods. Indeed, it is essential to prove that specified systems respect some desired properties. Equivalence proofs are important to refine specifications into concrete implementations. In this report, we propose an encoding of an integrated specification language. This language integrates a CCS-like process algebra extend...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Comput. J.
دوره 41 شماره
صفحات -
تاریخ انتشار 1998